Let's separate theories from calculations

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Precision Calculations in Supersymmetric Theories

In this review article we report on the newest developments in precision calculations in supersymmetric theories. An important issue related to this topic is the construction of a regularization scheme preserving simultaneously gauge invariance and supersymmetry. In this context, we discuss in detail dimensional reduction in component field formalism as it is currently the preferred framework e...

متن کامل

Constructability of Trip-lets

A trip-let is an object as shown on the cover of Hofstadter’s book Gödel, Escher, Bach: a solid, threedimensional object that, when viewed from three orthogonal directions, shows three different letters. In this paper we consider two problems related to the construction of such objects for a given set of three letters. First, we want to know whether the silhouettes of the object correspond to t...

متن کامل

Learning recursive theories with the separate-and-parallel- conquer strategy

Inductive learning of recursive logical theories from a set of examples is a complex task characterized by three important issues that do not arise in single predicate learning, namely the adoption of a generality order stronger than θsubsumption, the non-monotonicity of the consistency property, and the automated discovery of dependencies between target predicates. Some variations of the class...

متن کامل

On Desugaring Polymorphic Lets

Existing type literature has conflicting views on desugaring polymorphic lets to lambda terms. The conflict arises because, in certain cases, desugaring does not preserve typing. We describe a transformation of polymorphic lets to monomorphic lets such that, when the monomorphic lets are desugared, the typing is preserved. Our transformation requires no changes to either term or type syntax. Th...

متن کامل

FANCJ lets chromatin stay true

10.1083/jcb.2011iti1jcb.2011iti1Mitch [email protected] g1.epsIn This IssueNewsFANCJ lets chromatin stay true S chwab et al. show how a protein that unkinks DNA might help cells to maintain chromatin organization during DNA replication. The DNA replication machinery can run into ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Chemical Education

سال: 1988

ISSN: 0021-9584,1938-1328

DOI: 10.1021/ed065p442